Now we have already determined (when we were discussing whether eternal motion exists or not, and what it is, if it does exist) that the origin of other motions is that which moves itself, and that the origin of this is the immovable, and that the prime mover must of necessity be immovable.