対偶
本はありません。