Looking for a post (and proofs)

 

v20240901