분명 좋은 증명이긴 한데


가끔 명제 순서가 이상하거나 노테이션이 이상하거나 해서


아니 왜 이걸 이렇게 서술한거지


하는 생각듬;