:: deftheorem Def3 defines odd NEWTON03:def 5 :
for t being Integer holds
( not t is odd iff not t gcd 2 = 1 );