D16 Georg Meggle
Für (ii): Aus xGG
n+1
(P,F(x)) mit D18.b
xGG
1
(P,GG
n
(P,F(x))), nach (i) also GG
1
(P,xGG
n
(P,F(x))), nach I.V.
und mit T.G1-1 dann GG
1
(P,GG
n
(P, xF(x))), nach D18b also
GG
n+1
(P,xF(x)).
Für T.G3*: xGW(P,F(x)) GW(P,xF(x))
Aus xGW(P,F(x)) nach L.G1 xGG(P,F(x)), und daraus nach T.G3
GG(P,xF(x)); Aus xGW(P,F(x)) nach L.G1 auch xF(x), mit
GG(P,xF(x)) also wegen L.G1 GW(P,xF(x)).
Für T.G3*-1: xGW
n
(P,F(x)) GW
n
(P,xF(x)) für bel. n 1
Aus xGW
n
(P,F(x)) nach L.G2 xGG
n
(P,F(x)), und daraus nach T.G3-1
GG
n
(P,xF(x)); mit xF(x)) – ebenfalls aus xGW
n
(P,F(x)) nach L.G2 –
also wegen L.G2 GW
n
(P,xF(x)).
Für T.G3
+
: xGG(P,F(x)) GG(P,xF(x))
Aus T.G3 mit
T.G3a: GG(P,xF(x)) xGG(