Appendices to the Messingkauf theory
First appendix to the Messingkauf theory