Yes.
Ab = cd and bc = ad
Using SAS postulate triangles formed by ABC = abd
Opposite sides are equal and each angle is 90 degrees so by definition it is a rectangle.
9.4m questions
12.2m answers