what is a trapezoid theorem?