Das was A außer dem Schema enthält, darf dann nur das sein, was zur Applizierung || Applikation des arithmetischen Schemas notwendig ist.