Cam FinalCam's Proofs