4.6 How to Check in your finished proof