>>97
aとbが互いに素であるなら、問題の結論である、"aはbの倍数である"
というのはおかしくない?