theorem A4I: :: NEWTON05:84

for a being even Integer st not 4 divides a holds
not a is square