>>588
定義してあるのではなく、導出されています。

では、このとき、
XとY、YとZ、ZとXはそれぞれ互いに素であると言えるでしょうか？