for n being Ordinal holds GrLexOrder n is admissible