两个自然数相除,商一定比被除 ( ) 判断