remove a cheated unused theorem

I think it might be false anyway: what if uv occurs in t?