ついでに
>>781>>730
Z のプロ有限完備化で考えればおk