整除関係
aがbを割り切る (
$ a \prec b, a | b
)