theorem Th40: :: NUMPOLY1:40

for n being Nat holds Triangle n = Polygon (3,n)