Una factorización notable (en la IMO 69)