take [.0,1,0,1.] ; :: thesis: [.0,1,0,1.] is special_polygonal
thus [.0,1,0,1.] is special_polygonal by Th55; :: thesis: verum