구의 증명 - 가형