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