命題
(ab/n) = (a/n)(b/n) である。

証明
n = Π p を n の素因数分解とする。

前スレ３の756より各 p に対して (ab/p) = (a/p)(b/p) である。
よって
Π (ab/p) = Π (a/p)(b/p) = Π (a/p)Π (b/p)
即ち
(ab/n) = (a/n)(b/n) である。
証明終