finished 5. proof
added slides for 5. proof