Respuesta :

kcecil
If your rotating around the origin, then the new coordinates would be (17,-4)