Proofs for those who suffer

 

v20240901