I think it is evident he can: the idea of motion in one body no more including the idea of motion in another, than the idea of a square figure in one body includes the idea of a square figure in another.