D68 Georg Meggle
Für (i.3): Aus KV(S,H,f,r) nach T.K22 I(S,f,G’(H,KV(S,H,f,r))), nach D1
also auch (1) G(S,K(G’(H,KV(S,H,f,r)),T(S,f))). Nun aber aus
KV(S,H,f,r) nach T.K1 I(S,f,T’(H,r)), mit RG also G’(H,KV(S,H,f,r)
I(S,f,T’(H,r))), mit RC also N(G’(H,KV(S,H,f,r) I(S,f,T’(H,r)))), mit
C2 also K(G’(H,KV(S,H,f,r) I(S,f,T’(H,r))),T(S,f))), mit RG also (2)
G(S,K(G’(H,KV(S,H,f,r) I(S,f,T’(H,r))),T(S,f))). Aus (1) und (2)
mit TG1c G(S,K(G’(H,KV(S,H,f,r)),T(S,f)) K(G’(H,KV(S,H,f,r)
I(S,f,T’(H,r))),T(S,f))), mit RG und C4 also G(S,K(G’(H,KV(S,H,f,r))
G’(H,KV(S,H,f,r) I(S,f,T’(H,r))),T(S,f))), mit TG1c, RC, C2 und RG
also G(S,K(G’(H,KV(S,H,f,r) (KV(S,H,f,r) I(S,f,T’(H,r)))),T(S,f) ...