Under the assumptions made, a social welfare function W exists that represents : for all health profiles h,h, W(h)≥W(h) if and only if hh. For a proof of this assertion see the proof
ภายใต้สมมติฐานขึ้น สวัสดิการ ฟังก์ชัน w ที่มีอยู่นั้นเป็น : สำหรับทุกโปรไฟล์สุขภาพ h , H W ( H ) ≥ w ( H ) ถ้าและเพียงถ้า H H . สำหรับหลักฐานการยืนยันนี้เห็นหลักฐาน