En consecuencia, la implicación original y su contrarrecíproco son equivalentes.