for R being commutative Ring
for I being Ideal of R holds
( I is maximal iff R / I is Skew-Field ) by Th16, Th19, Th20;