赤りんご on X: "それなら4.0=4を証明しなよ 証明できないなら4.0≠4だよ" / X