Description: A positive integer divides a natural number if and only if the quotient is a positive integer, a deduction version of nndivdvds . (Contributed by metakunt, 12-May-2024)