Was würden wir denn dem erklären, der störrisch wäre und auf den Rekursionsbeweis in seiner strengen Form den Uebergang zu A nicht verstünde[K|?]?