Siano a, b, m, n numeri naturali positivi. L'implicazione "se m·n è un multiplo di a·b, allora almeno uno fra i numeri m, n è un multiplo di a" non è vera in generale. L'implicazione diventa vera se si aggiunge l'ipotesi che:

A) a e b sono numeri primi fra loro	B) almeno uno fra m, n è un numero primo
C) a è un numero primo	D) m e n sono numeri primi fra loro