Neuneck: a+b=c