О строении $m$-скачка

Доказывается, что любая не более чем счетная дистрибутивная полурешетка изоморфна начальному сегменту $m$-степеней некоторого $m$-скачка и сегменту $pm$-степеней, образующих некоторый $m$-скачок.
Библ. 5.