theorem LemmaBono: :: NUMBER06:33

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