, and
′ be the extensive component of
which is located in
′, then, as
′ is progressively diminished without limit, a time-system
, and
′ be the extensive component of
which is located in
′, then, as
′ is progressively diminished without limit, a time-system