증명들 자체는 어렵지않은데 양이많고 그래서 체계가 안잡히네 앞에까진 무난했는데
여기원래 귀찮음??