Create factor_theorem.md