Scomposizione in fattori primi e criterio generale di divisibilità