nats: prove distributivity, associativity, order-preservation and cancellation law for multiplication
nats: prove distributivity, associativity, order-preservation and cancellation law for multiplication

nham/math_notes,nham/math_notes