Beweis folgt..--Tchu Tcha Tcha 20:18, 12. Jun. 2012 (CEST)
Vorraussetzung: ∃g;∃A:A∈g;∃O:O∈g;A≠O Behauptung: OA+∩ OA−={O}