Camille 2024 - FinalCamille 2024 - Proofs