Daß die Variable c in B nicht identisch mit c in A ist sieht man klar wenn man statt ihrer eine Zahl einsetzt. Dann lautet B etwa:
α
β
γ
     4 + (5 + 1) = (4 + 5) + 11
4 + (5 + (6 + 1)) = (4 + (5 + 6)) + 1
(4 + 5) + (6 + 1) = (4 + 5) + (6 + 1)
    
}      W)

aber dem entspricht nun nicht etwa
die Gleichung AW: 4 + (5 + 6) = (4 + 5) + 6!