Zwei Beweise “desselben Satzes” können nur unabhängig voneinander sein, wenn sie den || diesen Satz niemals erreichen. (Denn sonst kommunizieren sie ja miteinander.) Wenn sie also im strengen Sinn keine Beweise dieses Satzes sind.