Update productAndQuotientRules.tex