공통현에 수직이여야 최대인건 알겠는데 증명을 못하겠음