More proofs for the post

 

v20240901