Theorem odd_neg

Modification history