Viceversa, six=by, entonces(x−y) es un múltiplo deb ya(x−y) es un múltiplo deb. Para cualquieran≥1, sip es primo yp|∏ni=1ai, entonces hay\(j \l...Viceversa, six=by, entonces(x−y) es un múltiplo deb ya(x−y) es un múltiplo deb. Para cualquieran≥1, sip es primo yp|∏ni=1ai, entonces hayj≤n tal quep|aj. El enunciadoS(1) es: Sip es primo yp|a1, entoncesp|a1, que es trivialmente cierto. Sip yqi son primos yp|∏ni=1qi, entonces hayj≤n tal quep=qj.