how many drivers have won a record 15 drivers ' championships for the constructor whose driver is the only driver in history to win seven formula one world championships ?
9