@MISC{M_the, author = {Siegfried M}, title = {The}, year = {}}
distance between regularity and strong regularity ∗
strong regularity