Is there a mathematical way to factor trinomials?