R(C5) и R(G2)

Целта на тази част от проекта ни е да докажем че при произволно черно-червено оцветяване минималният брой върхове е 9, така че да има черен или червен 5-цикъл...