User blog comment:LittlePeng9/Addition is commutative/@comment-80.98.179.160-20180308112815

How long would it be, using Peano Arithmetic, to prove multiplication is commutative?