simple proof
本はありません。