Theorem odd_bit1

Modification history