El teorema del encaje o de intercalación es expuesto formalmente como: