regularity theorem