一个匹配在图表中G公司是一个子集M（M）的的边缘G公司这样就不会有两个人共享一个端点。匹配项具有最大值基数，如果其基数至少与任何其他基数一样大匹配。安零头盖 OSC公司图形的G公司是一个节点的标记G公司使用整数，以便G公司是标记为1的节点的偶发节点还是连接两个节点标有相同编号i≥2.
本文证明了Edmonds定理：
让M（M）成为图中的匹配项G公司然后让OSC公司成为奇数封面G公司.对于任何i≥0，让n（i）是节点数标记我.如果|M |=n（1）+∑i≥2（n（i）div 2），然后M（M）是最大基数匹配。