Clearly, J carries M into 2M. Now,

Clearly, J carries M into 2M. Now, for each u ∈ J(y) there exists some v ∈ T(y)

ผลลัพธ์ (ไทย) 1:

ชัดเจน J มี M เป็น 2M ตอนนี้ แต่ละ∈ u J(y) มีอยู่บาง∈ v T(y)

ผลลัพธ์ (ไทย) 2:

เห็นได้ชัดว่า J ดำเนิน M เข้า 2M ตอนนี้สำหรับแต่ละ U ∈ J (Y) มีอยู่บาง V ∈ T (Y)

ผลลัพธ์ (ไทย) 3:

ชัดเจน , J มี m เป็น 2 เมตร ขณะนี้ แต่ละ U ∈ J ( Y ) มีบาง∈ t ( Y ) V