take Polygon (s,2) ; :: thesis: Polygon (s,2) is s -gonal
thus Polygon (s,2) is s -gonal ; :: thesis: verum