dimの使い方って、
7≡1(dim 6)
みたいなのでいいんでしたっけ…？

dimって、どんな場面で使われますかね？できるだけ挙げて頂きたいのですが。