Corollary 4.3. A number is right-derivable if and only if it appears in the right tree. If n is right-derivable, then n= pF(000b1)=pF(0001b^R) and, therefore, is in the right tree.

Theorem 3.4 may now be improved as follows:

Corollary 4.4. The product of any two numbers in the right tree is derivable. Let n=pF(0001a) and m=pF(0001b)=pF(000b^R1). Then nm=pF(000b^R10001a).

back to outline