どこで聞いたらいいのか?わからんので、スレチなら誘導よろ。

「n=a+b の時、
aの2乗のn進数表記のn0乗桁の値、つまりa^2をnで割った商に対する剰余と
bの2乗のn進数表記のn0乗桁の値、つまりb^2をnで割った商に対する剰余は
常に等しい」

と言うのは、「〜の定理」で証明されているものなのでしょうか。
されているものならば、定理名をご教授願います。


上の内容を10進数で表すと
ex:10=3+7
3^2は9で、10進数の10の0乗桁の値は9であり
7^2は49で、10進数の10の0乗桁の値は9なので等しく、
これは、どのようなn進数においても成り立つということです。