Làm hai vế của bất phương trình đầu vô nghĩa nên x = -7 không là nghiệm của bất phương trình đó. Mặt khác, x = -7 thỏa mãn bất phương trình sau nên x = -7 là nghiệm của bất phương trình này.
Nhận xét: Phép giản ước số hạng - 1 x + 7 ở hai vế của bất phương trình đầu làm mở rộng tập xác định của bất phương trình đó, vì vậy có thể dẫn đến nghiệm ngoại lai.