Element 'basic gearing theorem'