Два числа называются взаимно простыми если их наибольший общий делитель равен 1
У простого числа нет собственных (т.е отличных от самого числа и 1) делителей => у двух простых чисел НОД равен 1 => они взаимно просты.
Обратное неверно:
3 и 4 взаимно просты, но 4 составное число (4 = 2*2)