前スレの997は、
SSレポートでの極限のところは、無限を使用する排中律の証明で決着したの?