TeX source:
c_1=(a_0+a_1)*(b_0+b_1)