Grotzsch's theorem for the projective plane | lit.salon