The Hubbard model - an introduction and selected rigorous results | Synapse