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