Capture the proof in a snap

snap2