for s being Nat holds Polygon (s,1) = 1 ;