Zdroj TeX:
a \cdot (b \cdot (c'))= a \cdot (b \cdot c +b)