p - 進数体で、 Σ[ n = 0 → ∞ ] p^(n^2)
は無理数であることを示せ。