Show that products of k literals correspond to 2n−k dimensional subcubes of the n-cube Qn, where the vertices of the cube correspond to the minterms represented by the bit strings labeling the vertices, as described in Example 8 of Section 10.2.