Exact geometric constructions are needed to prove theorems.
Verify mean value theorem for function 3x^2-5x+1 defined in interval [2,5]