유의어 사전
증명할 경우