Hallo Oswald .
Ich meinte vorhin : " du hast einmal v und - v angewendet um p zu verschieben und das v bzw. - v existiert wegen ( 2) .
Und bei Bedarf habe ich folgendes :
Ich habe vorausgesetzt das P # u = P # v .
Durch # - u auf beiden Seiten ergibt sich ( p # u ) # - u = (P # v ) # - u und wegen ( 1 ) dann
P # ( u - u ) = P # ( v - u) und wegen a) nun
P = P # ( v - u)
Wenn ich deinen Ansatz benutze dann
Q= P # w durch # uauf beiden Seiten
Q # u =( P # w)# u
wegen 1 dann = P # ( u + w )
Dann habe ich die Vorausetzung benutzt und P = P #( v - u ) ersetzt .
Also Q # u = P # ( v - u ) # ( u + w ) wegen 1) dann
= P # ( v - u + u +w) = P # ( v + w ) und wegen 1) wieder (P # w ) # v und weil Q = P # w ist
Ergibt sich folglich Q # u = Q # v
Vielleicht ein wenig umständlich gemacht aber ist das so richtig ?