Sure, but having a unique solution is not a required property of integer division. Parallel to your statement: If both 1 * 0 = 0 and 2 * 0 = 0, then 0 / 0 has

Sure, but having a unique solution is not a required property of integer division. Parallel to your statement: If both 1 * 0 = 0 and 2 * 0 = 0, then 0 / 0 has two solutions.