A hypergraph consists of a set of vertices V and a set of subsets of those vertices, each of which is called an edge. (Intuitively, it’s a graph in which each edge can contain multiple vertices). Suppose that in some hypergraph, no two edges have exactly one vertex in common. Prove that one can color this hypergraph’s vertices such that every edge contains both colors of vertices.