앵룡과 라이커드가 이를 증명함