https://methodenundmehr.de/tetra-lemma-oder-tetralemma/tetra-lemma-oder-tetralemma-2/