Lemma 3.1. For any right-derivable number pF(a1), pF(a100)=2pF(a1).

Lemma 3.2. For any right derivable number pF(a1), pF(a1000)=3pF(a1).

Lemma 3.3. For any right derivable number pF(a1), pF(a10001)=5pF(a1).

(details on lemmas)

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.

(details on theorem)

Back to outline