Test distributeOverAddition
Test addInv
Begin squashMulId