수학도 공리 몇 개 던져주고 다 증명하면서 풀라고 하면 되겠노ㅋㅋ