초장에서 Field인가 정의하는거 부터 뭐 상한 bounded 이런게 쏟아져 나오네 수학은 역시 어렵다