수식으로 증명을 못하겟슴
맞는거 같긴한데