Theorem.  Let

(1) and be free of nonpositive integers.

(2) and be disjoint.

(3) sort into nondescending order

(4) be a suitable origin

(5)

(6)

(7) be nondescending for every

Then is accessible from .