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;
