Ok, I think I get it. It's a proof by contradiction. Imagine a polynomial didn't have solutions, it would break other laws of math when we tried to factor it. Is that it?