Az első gráfelméleti tételünk: Minden gráfban a fokszámok összege az élszám kétszerese.
Ennek több következménye van:
1. Következmény: Egy gráf fokszámainak összege páros.
2. Következmény: Egy gráf páratlan fokú pontjainka száma páros.
3. Következmény: Ha egy gráfban van egy páratlan fokú pont, akkor van legalább egy másik ilyen csúcs is.
Tétel: Egy irányított gráfban a kifokok összege ugyanakkora mint a befokok összege. A két összeg közös értéke az irányított gráf élszáma.