June 30, 2023

proofs

proof 1
proof 2