we have e≥e′ and, hence, by monotonicity e≥e′ Conversely, if e≥e′ , then by monotonicity e≥e′ _ and by transitivity h≥h′_. Hence, e represents ≥ and we can define a social welfare function W(h) = e(h).
เรามีอี≥ e 'และดังนั้นโดย monotonicity อี≥ e' ตรงกันข้ามถ้าอี≥ e 'แล้วโดย monotonicity อี≥ e' _ และกริยาชั่วโมง≥ h'_ ดังนั้นแสดงให้เห็นถึงอี≥และเราสามารถกำหนดฟังก์ชั่น W สวัสดิการสังคม (ซ) = อี (เอช)
เราได้ E ≥ E ’และดังนั้นโดย monotonicity ≥ E E E E นั้นตรงกันข้ามถ้า≥’ แล้ว โดย monotonicity E ≥ E และ H นั้น _ transitivity ≥ H นั้น _ . ดังนั้น ≥ E แทน และเราสามารถกำหนดสวัสดิการฟังก์ชัน w ( H ) = e ( H )