작도 가능한거 증명할때ㅇㅇ