und
Daher ist nach Fakt
und somit folgt die Aussage aus (2) unter Berücksichtigung von
Damit ist
und somit