対偶は、無論、成立するがが、同値であるわけがない、逆が成立せぬのだから。