I have some misunderstanding how one can add velocities of different coordinate systems.

Consider a planet gear rotating about its own axis and also rotating on its carrier so that the so called velocity of the planet gear relative to the carrier is the planet local velocity minus the carrier velocity.

How can one add to different velocities that are at different points in space?

is there a mathematical proof?