now correctly displaying the proof at the end