On the representation of integers by p-adic diagonal forms

Let p be an odd prime, let d be a positive integer such that (d,p?1)=1, let r denote the p-adic valuation of d and let m=1+3+3²+…+3^r. It is shown that for every p-adic integer n the equation Σ_i=1^mX_i^d=n has a nontrivial p-adic solution. It is also shown that for all p-adic units a₁, a₂, a₃, a₄ and all p-adic integers n the equation Σ_i=1⁴a_iX_i^p=n has a nontrivial p-adic solution. A corollary to each of these results is that every p-adic integer is a sum of four pth powers of p-adic integers.