Theorem mul_two

Modification history