Exact and rigorous methods in quantum many body physics