>>265 日高

> > それは定義というよりは見分け方だね。じゃあ7の倍数の定義は?

> 7で、割り切れる数です。

「7で割り切れる」の定義は?