Gọi vi(i≥3) là số đỉnh có i đỉnh xuất phát từ nó, v=+∞∑i=3vi.Gọi fi(i≥3 là số mặt có i cạnh, f=+∞∑i=3fi.
Gọi e là số cạnh của đa diện, thao công thức Euler ta có: v+f−e=2.
Giả sử phản chứng rằng: v3=0,f3=0.
Ta có:
Mỗi cạnh là cạnh chung của 2 mặt nên: 2e=+∞∑i=4ifi≥4+∞∑i=1fi=4f.
Mỗi cạnh có 2 đỉnh nên: 2e=+∞∑i=4ivi≥4+∞∑i=4vi=4v
Khi đó:
2e≥4v=4(2+e−f)=8+4e−4f≥8+2e, vô lý.
Vậy đa diện phải có ít nhất một mặt tam giác hoặc một đỉnh là đỉnh của góc tam diện.