given triangle ABC with vertices at (0,5), (0,0), and (-2,0), and triangle DEF with vertices at (1,0), (1,-5),and (x,y), find the value of x and y that makes triangle ABC congruent to triangle DEF