Correct:

    Implies[x^2 + 2 x + 1 == 0, x == -1] // FullSimplify