Lemma 3. Suppose R is an integral domain and M is a non zero faithful finitely generated Rmodule. If every finitely generated submodule of M is weak-join-quasi-cyclic, then R is a Prüfer domain.
แทรก 3 R คือสมมติว่าโดเมนที่หนึ่งและ M เป็นศูนย์ที่ไม่ซื่อสัตย์สร้างขีด Rmodule. ถ้าทุกคนสร้างขีด submodule ของ M เป็นอ่อนแอเข้าร่วมกึ่งวงกลมแล้ว R คือPrüferโดเมน
พ 3 . สมมติว่า R เป็นโดเมนหนึ่งและจะไม่ศูนย์ซื่อสัตย์สร้างการนำ rmodule . ถ้าทุกหลังสร้าง submodule M อ่อนแอเข้าร่วมกึ่งวงกลม แล้ว R เป็น Pr ü fer โดเมน