یک گراف سادهی زوج-رأسی $G$ با مجموعه رئوس $V(G)$ داریم. برای یک زیرمجموعه از رأسها مانند $S$، زیرمجموعهی $N(S)$ از رأسهای خارج $S$، شامل رأسهایی است که دست کم یک یال به $S$ دارند. در این گراف برای هر زیرمجموعه از رأسها مانند $S$ که $S\cup{}N(S)\neq{}V(G)$ داریم: $|N(S)|\ge |S|$. ثابت کنید این گراف یک تطابق کامل دارد.