Let $G$ be bipartite with bipartition $A$, $B$. Suppose that $C$ and C' are both covers of $G$. Prove that $C^{\wedge}$ = (A \cap C \cap C') \cup (B \cap (C \cup C')) is also a cover of $G$.
Does anyone know which theorem is useful for proving this statement?