何故aとbが互いに素なら、a進数におけるbの倍数は1の位にa種類の値を持つんだ?