ABCD is a parallelogram with vertices A(x1