를 다루기 위해 렘마를 사용하고 , 을 선택하면 우리는 언제라는 사실을 사용하는 곳이 있습니다. 를 다루기 위해 렘마와 , 를 사용하여 , 어디서 그리고. 이후 , 그리고 , 모두에 대해 , 우리는 사실을 사용합니다.

To deal with , using Lemma and choosing , we have where we use the fact that when. To deal with , by using Lemma and , where and. Since , then for all , where we use the fact that