how many more formula one world championships did the driver who finished seventh win than the driver who finished first ?
5