```\nfunction div(\n    uint256 a,\n    uint256 b,\n    string memory errorMessage\n) internal pure returns (uint256) {\n    require(b > 0, errorMessage);\n    uint256 c = a / b;\n    // assert(a == b * c + a % b); // There is no case in which this doesn't hold\n\n    return c;\n}\n```\n