reserve A,B for limit_ordinal infinite Ordinal;
reserve B1,B2,B3,B5,B6,D, C for Ordinal;
reserve X for set;
reserve X for Subset of A;
reserve M for non countable Aleph;
reserve X for Subset of M;
reserve N,N1 for cardinal infinite Element of M;

theorem
  M is Mahlo implies M is inaccessible
proof
  assume M is Mahlo;
  then M is regular limit_cardinal by Th27,Th28;
  hence thesis by CARD_FIL:def 13;
end;
