怎么证明log2 12=log1 12