米田の補題
本はありません。