[see also: as, for, since
However, this argument is fallacious, because as remarked after Lemma 3, K is discontinuous.
This is because the factor M satisfies condition (P).
Unfortunately, because of the possible presence of “cusps'', this need not be true.
Because of this, W is never long enough to cancel with M in the product ABC.