| http://www.w3.org/ns/prov#value | - Zero is a multiple of zero (the only multiple of zero) and applying a definition of division such that a/0 yields a quotient of zero and a remainder of a would let the normal method of testing x is a multiple of y work smoothly in all cases including zero.
|