Pratt's Lemma is : and such that:
and , , and are finite, prove :
If , then .
I know how to prove , but seems not easy proved from it.
My first question is how to prove .
And I don't know why should emphasize the condition "", so my second question is: Is there any example that is wrong if the condition is not fullfilled.