theorem Divides3Triangle: :: NUMBER06:27

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