theorem :: ARYTM_3:1

not {} , {} are_coprime