for A being Ordinal holds
( A is infinite iff omega c= A )