음수가 이를 증명