Търся доказателство на една теорема

[userresu]

Теоремата е следната:

"Има само едно 2-оцветяване в черно и бяло на ребрата на K13 (граф с 13 върха) без черни триъгълници (3-клики) и бели 5-клики."

Тази теорема е на Greenwood и Gleason и търсих из нета, но не можах да се ориентирам за доказателство.
Ако имате някакви учебници (на български или английски) и случайно я има теоремата, или пък ако знаете какво е доказателството моля да помогнете.

Другото което знам е, че би трябвало да я има в следната книга доказана: "R. E. Greenwood and A. M. Gleason, Combinatorial relations and chromatic graphs,. Canad. J. Math. 7 (1955), 1-7", но аз нещо не я намирам там. Ще съм ви благодарен ако можете да помогнете с някакви материали на български или английски. Мерси предварително...

[Реклама]