An Elementary Rigorous Introduction to Exact Sampling