How do you prove that (12)(ln2ln4+ln3)=(12)ln(32)?