Twierdzenie o ilości krawędzi (graf hamiltonowski)