THEOREM 8 ([5, Theorem 3.8]). Let M be a matrix having the strong
Circ1P. Then every circular ones ordering of M can be obtained by a sequence
of reverse operations, each one applied to a circular module that is
consecutive in the circular order of the columns of the current matrix.