Teorema 2.7.1. Teorema Perkawinan Hall.
Misalkan \(G\) adalah graf bipartit dengan himpunan \(A\) dan \(B\text{.}\) Maka \(G\) memiliki pencocokan dari \(A\) jika dan hanya jika
\begin{equation*}
|N(S)| \ge |S|
\end{equation*}
untuk semua \(S \subseteq A\text{.}\)