이는 상대가 증명