Reducing Fractions Rigorously Using Prime Factorization Factor Trees