꼬우면 듀얼로 증명하던가