for a being Ordinal holds a c= epsilon_ a