Theorem div_add_same

Modification history