니콜이랑 공명부가 이를 증명함