〔 Hasse-Minkowski の定理, 局所大域原理〕 有理数を係数とする (斉次対角) 二次方程式が非自明有理数解を持つことは, それがあらゆる素数 𝒑 について非自明 𝒑 進数解を有し, かつ非自明実数解を有することと同値である.

〔 Ostrowski の定理〕あらゆる有理数上の絶対値は, 自明なる絶対値, 符号無視の絶対値, 或る素数に対応する 𝒑 進絶対値の何れか一個と同値である.

〔 Gauss-Legendre の三平方和定理〕正の整数 𝒏 が三つの平方数の和に表されるための必要充分条件は, 𝒏 から 4 を成るべく多く抽出して 𝒏 = 4ᵏℓ と書いたときに, \begin{align} \ell\not\equiv7\ \ (\mathrm{mod}.8) \end{align} になることである.

〔 Gauss-Legendre の三平方和定理〕正の整数 𝒏 が三つの平方数の和に表されるための必要充分条件は, 𝒏 から 4 を成るべく多く抽出して 𝒏 = 4ᵏℓ と書いたときに, \begin{align} \ell\not\equiv7\ \ (\mathrm{mod}.8) \end{align} になることである.