Prove that quadrilateral ABCD is a square. The point for A is (0,4), Point B is (3,0), Point C is (7,3), and point D is (4,7).