HCM-FinalHCM-Portraits Proofs