In (Kaplansky 1970) it is shown that if an extension A ⊆ B satisfies the going-up property, then it also satisfies the lying-over property.
(Kaplansky 1970) において、拡大 A⊆B が上昇性質を満たせば lying-over property も満たすことが示されている。