  A 1976 conjecture of Halperin on positively elliptic spaces was recently
confirmed in formal dimensions up to 16. In this article, we shorten the proof
and extend the result up to formal dimension 20. We work with Meier's algebraic
characterization of the conjecture, so the proof is elementary in that it
involves only polynomial algebras, ideals, and derivations.
