증명은 생략한다.

독자:why??