Tatsächlich ist R nicht das Schema des Induktionsbeweises BIII; dieses ist viel komplizierter da es das Schema BI enthalten muß.