text: Критическое обстоятельство об этих графах, что K a b {\displaystyle K_{\tfrac {a}{b}}} допускает гомоморфизм в K c d {\displaystyle K_{\tfrac {c}{d}}} тогда и только тогда, когда a b ⩽ c d {\displaystyle {\tfrac {a}{b}}\leqslant {\tfrac {c}{d}}} .