A formal statement is as follows: If preferences are locally nonsatiated, and if ( X , Y , p )  } ,\mathbf {Y^{*}} ,\mathbf {p} )} is a price equilibrium with transfers, then the allocation ( X , Y )  } ,\mathbf {Y^{*}} )} is Pareto optimal.
উপপাদ্যটোৰ অনুষ্ঠানিক উদ্ধৃতি হ'ল এনে: যদি পছন্দসমূহ স্থানীয়ভাৱে অসন্তুষ্ট, আৰু যদি ( X ∗ , Y ∗ , p )  } ,\mathbf {Y^{*}} ,\mathbf {p} )} হস্তান্তৰৰ সৈতে এটি মূল্য সাম্যাৱস্থা, তেন্তে বিতৰণ ( X ∗ , Y ∗ )  } ,\mathbf {Y^{*}} )} পাৰেট' ইষ্ট।