Assume (iii). Reduction of the projective lattice is projective, because a direct-summand decomposition of a free -module remains one after tensoring with . Completeness of and idempotent lifting show that is indecomposable: otherwise a nontrivial idempotent of would lift and split , hence split the simple -module .
Let be the ordinary irreducible character of . Since is projective, vanishes on p-singular elements and restricts to the projective character of . ThusAn indecomposable projective module that is not simple has, besides its identity, a nonzero noninvertible endomorphism obtained by projecting onto its simple head and embedding the isomorphic simple socle. Hence its endomorphism algebra has dimension at least two. Therefore is simple as well as projective, proving