ABCD is a parallelogram