Zdroj TeX:

15 = 9 - x