basta testare che il MCD(a,b) sia 1, usando l'algoritmo di euclide.