30. trapezoid proof