Answer
See below.
Work Step by Step
$\overline{(a_1+b_1i)(a_2+b_2i)}=\overline{a_1a_2-b_1b_2+i(a_1b_2+b_1a_2)}=a_1a_2-b_1b_2-i(a_1b_2+b_1a_2)$
$\overline{(a_1+b_1i)}\cdot\overline{(a_2+b_2i)}=(a_1-b_1i)(a_2-b_2i)=a_1a_2-b_1b_2-i(a_1b_2+b_1a_2)$
These are equal, thus we proved what we had to.