It was hard to believe that there would be proofs for this.

 
Content is hidden

v20240901