Reference for Arakhin 54:20

נפרעין ממנו מיבעי ליה

Let him who bid thirty pay with him? - It refers to the case where there was no one who bid thirty.

Jastrow