theorem :: PRE_FF:6

for i being Integer holds
( i mod 2 = 0 or i mod 2 = 1 )