cancellation law of multiplication