Ein ausführlicher Beweis des Deduktionsschemas (in Erweiterung auf beliebige Mengen im Antezedens von "") kann in Kutschera / Breitkopf (1985:62ff.) nachgelesen werden.