m∈ℕの各桁を足した数をσ(m)とするとき
m≡σ(m) (mod t) (t = 3, 9)
である

これ真じゃないか?誰か証明して