Triangle DEF is congruent to right triangle ABC, shown below. If point E has the coordinates (1, 5), what could be the coordinates of point F?

(–2,1)
(–3,2)
(1,0)
(1,2) l