for a, b, c being Ordinal holds (a (+) b) (+) c = a (+) (b (+) c)