The corresponding statement that can be used to check the division is formed by multiplying the divisor by the quotient and then adding the remainder.