Correct proving for identities implying "x = y"