どこがどう恥なのか分からんが、>>931の定義を満たしつつ
>>922を書き換えることが無いとは言えんな