theorem :: NUMBER14:78

for a being Integer st a is odd holds
not a in multiples 2