1)이면 2)이다는 자명하지만 2)이면 1)이다는 때려죽어도 증명 어려워 보이는걸 2)->3)->4)->5)->1) 거쳐서 증명 때리는거 볼때마다 경이로움