for a being Ordinal holds a (+) 0 = a