이는 공식이 증명함