ABCD is a rectangle the line through C perpendicular to AC meets AB produced at X and AD produce at Y . Prove that DBXY are concyclic