Prove div2 n \leq n
Begin rewrite

Introduce a parameter to the chain type - length of the chain

Reverse the chain cons constructor - chain now grows to the left