그것은 슌으로 증명 가능하다