theorem Not3DividesTriangle: :: NUMBER06:28

for n being Nat holds 3 divides (Triangle ((3 * n) + 1)) - 1