" 

 == ""Helfgottin väite kattaa molemmat arvelun versiot."" == 

 Ehkä on parempi sanoa, että hän todisti parittomia alkulukuja koskevan version, koska versio, jossa on mitä tahansa alkulukuja, seuraa suoraan siitä (huomaa vain todistuksesi viimeisenä lauseena, että 7 = 2 + 2 + 3). Jos hän olisi todistanut mitä tahansa alkulukuja koskevan version, parittomia alkulukuja koskeva versio ei kuitenkaan seuraisi siitä (koska silloin voisimme ehkä ilmaista luvun kolmen alkuluvun summana vain yhdellä tavalla, mutta kaksi näistä alkuluvuista olisi 2).   "