You can find the following on this page:
Proof of Theorem 1 in "Asymmetric Optimal Auction Design with Loss-Averse Bidders" joint with Akitoshi MURAMOTO