Theorem lcm_same

Modification history