Partitioning orthogonal polygons into at most 8-vertex pieces, with application to an art gallery theorem.