introduction to proof quiz