Se X está contido em Y, então X está contido em Z. Se X está contido em P, então X está contido em T. Se X não está contido em Y, então X está contido em P. Ora, X não está contido em T. Logo: