「集合A,Bは互いに素」の定義とその言い換え

「集合A,Bは互いに素」の定義とその言い換え。
レイアウトが崩れるのを阻止することを狙った、ptからpxへの単位変更。