martin triplets - proofs

February 13th, 2023