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