theorem Divides3Triangle2: :: NUMBER06:26

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