Selbst eine alte Kuh / Lernt doch immer noch dazu.
   Zum ersten Male lerne ich auf diesem Forum wirklich was.
   "  Zwei Untergruppen  / Unterräume sind schon dann gleich, wenn auch nur eine Nebenklasse überein stimmt. "
   Was hier so vornehm  gehandelt wird als Räume der Primaten_Feministinnen - äh Räume der Affinnen -  sind vom Standpunkt der Gruppenteorie nichts weiter als Nebenklassen:
      a  +  U1  =  b  +  U2       |     -  b      (  1  )
       c  :=  a  -  b      (  2  )
       c  +  U1  =  U2      (  3  )
     (  3  )  sagt aus, dass c äquivalent ist modulo  " vektorraum  "   Daraus folgt aber c  €  U1  - denk an die Gruppenteorie .  U1 ist nämlich die einzige Klasse, die den Nullvektor enthält - eine andere Klasse kann überhaupt kein Vektorraum sein bzw. den Nullvektor nicht enthalten; wir haben Partition.  Effektiv steht also da, dass ( Klasse ) U1 gleich ist Vektorraum  U2 .