فرض کنیدمرتبه گروه $2d$ باشد و $e$ عضو خنثی گروه باشد. پس $2d-1$ عنصر باقی می ماند.
فرض کنید $a$ عضو دلخواهی از گروه باشد که وارونش با خودش یکسان نیست پس گروه $a^{-1}$ را نیز دارد. اگر هر عضو دیگر با وارونش یکی نباشد به تعداد زوج عضو خواهیم داشت. ولی تعداد اعضای باقی مانده فرد است و این تناقض است.
