log2(3)×log2(4)=log2(7)?