这个命题并不总是成立。以下是一个反例：假设被除数为1/3，除数为1/2。则：(1/3) ÷ (1/2) = (1/3) × (2/1) = 2/3由此可见，商 (2/3) 小于被除数 (1/3)，因此该命题不成立。