La factorización prima es única