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