The result will now be derived computationally.

Now that we have the above claim, we can select......

Now choose a cycle c in M as in Theorem 2.