Vielleicht so:
M5 ist ein Körper genau dann, wenn M ein Körper ist.
siehe Kommentare, stimmt so nicht !
Und ℤ5[x]/q ist ein Körper, weil q in ℤ5 [x] nicht Produkt zweier
Polynome sein kann, denn dann hätte es in ℤ5[ eine Nullstelle.
Siehe auch bei "ähnliche Fragen" den ersten Eintrag.