I just thought of a simple argument: unroll the bigger circle into a line. Then as the smaller circle rolls from one end of the line to the other, it makes 3 revolutions. After that, roll up the line back into a circle (with the smaller circle still attached to the end). That adds one more revolution.