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