premise: assume that the topological space is finite dimensional
hypothesis: a specific type of topological space is gearing (or geartrain, power train), defined as 'wheelwork consisting of a connected set of rotating gears by which force is transmitted or motion or torque is changed' .