optimized proof
本はありません。