対偶証明法
本はありません。