Siehe hierzu auch das Deduktionsschema aus Satz (3.2.1).