Now SAT Theorem works for polygons and squares.