Maximality
However the red sub-
cube is not maximal.
It should be extended
to the blue sub-cube as
shown for greater
simplification.
The resulting cover is
simpler, even though
one vertex is covered
twice.
