>>937
互いに素じゃないと既約分数にならないから、証明が成り立たない