∫ ✓ ?  
Tatsächlich ist R nicht das Schema des Induktionsbeweises BIII; dieses ist viel complizierter da es das Schema BI enthalten muß