previous up next
Go backward to Example
Go up to Top
Go forward to More Real Functions
RISC-Linz logo

Remainder Laws

Proposition: For every x in R and y in R, we have

y > 0 => (0 <= x mod y < y),
y < 0 => (0 >= x mod y > y).

Author: Wolfgang Schreiner
Last Modification: December 14, 1999

previous up next