Axiom of Choice and Regularity each imply LEM

Published --