>>39
回収できないと仮定すると矛盾が生じるんでしょ