AMC→ACの証明に正則性が必要ということですか・・・
無限降下列があったら確かに一つが選べる状況に持っていけない気がする・・・