Since a < b this implies that b-a > 0

and since b < c this implies that c-b > 0

This implies that (c-b) + (b-a) > 0 (BR12)

      c - b + b - a > 0

      c - a > 0

      a < c

Return to the tutorial