>717
>……っつーか、これ、成り立たないだろ。
>文字に0が含まれていないと追加の仮定をおいても。

理由を教えていただけないでしょうか。