Die Ableitung zweier Satze aus einem
erzeugt
zeigt
einen formellen Zusammenhang zwischen den abgeleiteten.‒ ‒ ‒