11.11. chứng minh yêu cầu bồi thường, được thực hiện trong trường hợp 3 chứng minh bổ đề 11,11, rằng phải có một số quá trình j đó mà j + 1 E ~-, và j E *-~ U R U F.
11,11. Chứng minh các khiếu nại, thực hiện trong trường hợp 3 của các bằng chứng của Bổ đề 11.11, rằng phải có một số quá trình j mà k + 1 E ~ -, và j E * - ~ URU F.