6.241
So lautet der Beweis des Satzes 2 × 2=4:
(Ων)μ’x=Ων× μ’x Def.
Ω2 × 2’x=(Ω2)2’x=(Ω2)1+1’x=Ω2’Ω2’x
=Ω1+1’Ω1+1’x=(Ω’Ω)’(Ω’Ω)’ x
=Ω’Ω’Ω’Ω’x=Ω1+1+1+1’x=Ω4’x.
Ω2 × 2’x=(Ω2)2’x=(Ω2)1+1’x=Ω2’Ω2’x
=Ω1+1’Ω1+1’x=(Ω’Ω)’(Ω’Ω)’ x
=Ω’Ω’Ω’Ω’x=Ω1+1+1+1’x=Ω4’x.