Die Ableitung zweier Sätze aus einem zeigt || erzeugt einen formellen Zusammenhang zwischen den abgeleiteten.‒ ‒ ‒