Van Jacques wrote:

>If + is commutative, and the successor operation to + is *, which is
>also commutative;
>(a*b = b*a), then why isn't a**b = b**a since ** is successor
>operation to * ?
>
>Some discussion of induction and Peano axioms, which I didn't think
>through.
>  
>
this should probably be posted to ruby-math, it's really quite off-topic 
here.

emmanuel