for a being Ordinal holds a +^ a = 2 *^ a