4 ms·Correct: Implies[x^2 + 2 x + 1 == 0, x == -1] // FullSimplifyby Smaug123 9y agoCorrect: Implies[x^2 + 2 x + 1 == 0, x == -1] // FullSimplify