I worked it out. What they did was add two bits (to the original inequality) to each side and factorised to get three instead of two parts in the inequality. If you square both sides than you get the original inequality back.