How do you describe a way to check the correctness of a division answer that has no remainder