TeX source:
a(b+c)=a b+a c