Theorem: Set A = {A1, A2, ..., Am} has a system of distinct representatives if and only if for all subset I ⊆ {1, 2, 3, ..., m}. We know set A is a transversal, and they are all distinct such that xi ∈ Ai. Show that the theorem above is equivalent to Hall's condition using a defined bipartite graph. Please do it in detail.