Theorem div_neg

Modification history