"Something times c produces an element in T. If H is an ideal containing c," . . . .