>>669
a,bが互いに素っていうと
(a,b)=1とかかな。
それとも、gcd(a,b)=1とかかな?

別に数式で表す必要ないぞ。文章で書けばいい。