Twierdzenie o liczbie krawędzi (graf hamiltonowski)