# turing machines – Rice’s theorem extension

I’ve tried to solve this question below but I got stuck.

Let $$P$$ be a non-trivial property. Proof that the extension of Rice’s theorem is true:

If $$L_1$$ $$in$$ $$P,$$ $$and$$ $$L_2$$ $$in$$ $$RE$$ $$setminus$$ $$P$$ such that $$L_1$$ $$subset$$ $$L_2,$$ then $$L_p$$ $$notin$$ $$RE.$$