아니야?
아니라면 듀얼로 증명해라