theorem Lemma3ArProg: :: NUMBER06:29

for i being Nat holds not 3 divides (ArProg (2,3)) . i