What running-gag did was "translate" the point to the origin (0,0) (that's the and part) then rotate about the origin, the translate back (that's why he added and ).
What running-gag did was "translate" the point to the origin (0,0) (that's the and part) then rotate about the origin, the translate back (that's why he added and ).