https://9dok.net/document/y6e12p05-first-price-auction.html