Umm - this is quite tricky to understand and even harder to explain over a forum but i think that if i just gave you the factorisation that would be quite useless so i will try to continue explaining.
lets start of with something easier first to explain the factor theorem.
let f(n) = n^2 - 5n + 6. now f(3) = 9 - 15 + 6 = 0. so by the factor theorem (n - 3) is a factor of f(n).
So now we move onto something a little trickier
let f(a) = a^2 - b^2.
if we substitute b for a in this expression we get f(b) = b^2 - b^2 = 0. So now we know that (a - b) is a factor of this expression.
For another example, let f(a) = a^2 + ab - a*b^2 - b^3. then f(b^2) = b^4 + b^3 - b^4 - b^3 = 0. so (a - b^2) is a factor of f(a).
(I'm pretty sure (~90%) the factor theorem can be extended in this way to polynomials in multiple variables but I could be corrected.)
so basically we are trying to find something to substitute for c in our expression such that it becomes equal to 0. this expression will most likely (we take a bit of an educated guess here - im not sure if this is necessarily true, but it is in this case) be a function of both a and b.
[What I've done in my previous explanation is let this expression be called x (which is a function in a and b - but thats also complicated to understand).]
We make a further educated guess that the expression x has each term of degree 2 (i.e. the powers of each term add to 2 e.g. a^2, ab, 5*a^3/b are all terms with degree 2.). And then we just guess things for x to be equal to, starting with simple stuff.
I hope this clarifies things, but I'm not sure if it will.