for e being epsilon Ordinal holds omega in e