主張の否定が矛盾したので、3つの面積の少なくとも1つが4分の1の上限を満たすことが証明された。
3つの隅の面積がすべて 14[ABC]\frac14[ABC]41[ABC] を超えるという仮定は不可能である。したがって [AML][AML][AML]、[BKM][BKM][BKM]、[LCK][LCK][LCK] の少なくとも1つは 14[ABC]\frac14[ABC]41[ABC] 以下であり、求める結論が得られる。