그래프 호모모피즘, 단조 클래스 및 경로폭 제한

그래프 호모모피즘은 C123 문제임을 증명