Legal Theory of Auction