for A being Ordinal st omega c= A holds
1 +^ A = A