Theorem range_two_mul

Modification history