>>656
これは厳密じゃない。
たとえば0.1000…と0.0111…の同一性も考慮しないといけない。
（十進法で1=0.999…みたく）
そこが私みたいな素人には難しいので載せないんじゃないか？