The main g 0 {\displaystyle {\mathfrak {g}}_{0}} theorem following 170210-g0MainTheorem.nb (pre-class: pdf, nb; post-class: pdf, nb).
