Question:

If a triangle with vertices A(0, 0), B(2, 0), and C(1, 3) is rotated 180 degrees around the origin, what are the new coordinates of vertex C?