Cho $a$ là số thực dương khác 1. Mệnh đề nào dưới đây đúng với mọi số dương $x$, $y$?

(AI giải đề cho tôi)
Theo tính chất logarit của thương: với $a>0$, $a\ne 1$ và mọi $x,y>0$ ta có ${\log }_a\frac{x}{y}={\log }_{a}x-{\log }_{a}y$. Các phương án A, B, D sai (A: $\log$ của thương không phải $\log$ của hiệu; B: thương hai logarit không bằng logarit của thương; D: đó là công thức của tích).