Fie n un număr natural, n>4. Orice graf neorientat cu n noduri şi n muchii:
n
n>4
are gradele tuturor nodurilor numere pare
este conex
are cel puţin un ciclu
este arbore