How do you prove ln(163x)=4ln2(ln3+lnx)?