>>587
>X、Y、Zは互いに素である
と583で定義しているのではないのか?