이거 증명에서 어캐내림??