for n being Ordinal holds GrInvLexOrder n is admissible