Proving Trapezoiods