QED

Nog eentje voor de categorie van stellingen met een vreemde naam: het pingponglemma. Dit lemma zorgt ervoor dat als twee projectieve transformaties a en b aan bepaalde meetkundige vereisten voldoen, ze bij het toepassen op de projectieve ruimte P(kd) beide een vrije groep genereren. Deze transformaties a en b worden de pingpongspelers genoemd. Wiskundigen zeggen [...]