>3
>(3)から正しく導いた式は、(3)を満たす数を入れれば必ず満たされます。

違います。
3)から正しく導いた式は、(3)を満たす数を入れても、満たされるとは、限りません。