Re: Name for congruence relationship ?

In article <1138441400.525263.105670@xxxxxxxxxxxxxxxxxxxxxxxxxxxx>,
<dkfjdklj@xxxxxxxxx> wrote:
>Prop. Let n >= b >= c > 0 where b does not divide n. (This may not be
>the sharpest statement of the condition.) Suppose a is the least
>integer s.t. (a*b)/n >= c. Set a' = the least positive residue mod n
>of (a * b). Set c' = the least positive residue mod b of (c * n).
>Then a' + c' = b.

Not true if b = c - a' + c' is 0 in that case.

>Is there a name for this proposition? Or is it just considered trivial?

It's trivial.


Mike Guy
.