Prove that a cyclic parallelogram is a rectangle