graham - extended family proofs

December 28th, 2023