つまり、>>615で宜しいのですな?

0.999…=1&0.999…仝1
(∵ここでは:=否≡としました。否≡が簡単に表記できずに閉口します)