How do you solve lnx=ln4+ln7?