Zwei Beweise „desselben Satzes” können nur unabhängig von einander 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.