This is because, on one hand, a 3-coloring of G is the same as a homomorphism G → K3, as explained below.
Это потому, с одной стороны, что 3-раскраска графа G, это то же самое, что и гомоморфизм G → K 3 {\displaystyle G\to K_{3}} , как объяснено ниже.