To see how the cyclical adjustment of the economy continues, it now suffices to discuss briefly the change in the domestic capital stock.
However, it suffices to know any superset of these free variables.
Since u1 is upper semicontinuous, it suffices to show that it is locally bounded from below.
Then g is also almost one-to-one, and it suffices to show that g is a homeomorphism.
From this one can easily show that it suffices to prove the theorem in the case when itself is finitely generated.
Whether this suffices to make the word 'respectable' is, of course, another matter.
To complete the proof it suffices to show that c contains no rainbow cycles of length 2 (mod 4).
Although this normalization is not innocuous, it suffices for our purposes.
