reconsider a = Polygon (s,2) as number ;
take a ; :: thesis: ( not a is zero & a is s -gonal )
thus ( not a is zero & a is s -gonal ) ; :: thesis: verum