theorem
  M is measurable implies M is strongly_inaccessible
by Th33,Th40;
