1≠1⇒1=1
は正しいってことで良いのでしょうか?