First, suppose M accepts W. Then M prime simulates M [inaudible] on X and accepts X if and only if X is in L. That is, if M excepts W, then the language of M prime is L. We know L has property P, so M prime is an LP. 