Onsager and Kaufmans calculation of the spontaneous magnetization of the Ising model Baxter