>>544
いい、と思うけど
x≠2に“xは2でない任意の実数”って意味があんのかなあ