Update factor_theorem.md