theorem Th77: :: NUMBER14:77

for a being Integer st a is odd holds
not a is Multiple of 2