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