∀p:odd prime ∀a∈ℤ∃n∈ℤ C[n,p²] ≡ a (mod p³)