设S，T是整环R上的w-整环，S(∈)T.若对S的素wR-理想P1，P2，满足P1(∈)P2，及T的素wR-理想Q2，Q2∩S=P2，存在T的素wR-理想Q1，使得Q1(∈)Q2，且Q1∩......