공식을 증명하네요