Forced Factoring Method Proof (kinda)