premise: We have shown that the graph of f contains at least one component whose inverse is the entire <mask> [ 0 , T ] , and whose multiplicity is odd .
hypothesis: the proper context for <mask> here should be a set containing all points (or all real numbers) between two given endpoints