独立命題
本はありません。