Noun, masculine
der Primzahlsatz (n.) , {math.}