Regularity theorem