Wie verhalten sich: das Zahlenspiel 17 + (18 + 20) = …, der Satz A & der Beweis B?