Tatsächlich ist R nicht das Schema des Induktionsbeweises B3; dieses ist viel komplizierter, da es das Schema B1 enthalten
454
muß