divisionInverse a b = (a `div` b) * b + (a `mod` b) == a

Main> ourCheck divisionInverse
*** Exception: divide by zero