Peierls Proof of Spontaneous Magnetization in a Two-Dimensional Ising Ferromagnet | Synapse