Let's agree to post proofs in the comments

 

v20240901