From the Mathelounge community https://www.mathelounge.de/ Brucybabe Let's proceed to the proof, let's take for example...