theorem :: NUMPOLY1:53

for n being Nat holds Polygon (2,n) = n ;