"m" が "n" を割り切るならば、"rm" は "rn" を割り切る。