(integrate x dx from x = 0..1) + (integrate (c - x) dx from x = 1..2) = 1