19.18 그래프플랜의 완전성과 정확성 증명