for t being Integer st t is even & not 4 divides t holds
ex u being Integer st
( u = t / 2 & u is odd )