Find A Formal Factoring