take A = [.0 ,1,0 ,1.]; :: thesis: A is special_polygonal
thus A is special_polygonal by Th59; :: thesis: verum