for i being Integer st i is even holds
(i ^2) mod 4 = 0