Theorem 3.4. Given integers m and n where m is right-derivable and n is in the right tree, then the product mn can be expressed as a simple concatenation of the expressions of m and n.
Proof:
Let m=a1 e Q and n=0001b for b e {0,1} *. We will show that
pF(a10001b)=pF(a10001) . pF(0001b).
and the theorem is complete.