First Price Auction/Analysis

Theorem
A first price auction can be modelled as a strategic game as follows: