Suppose that for all . How to show that is also in
You are given that for all . This is known; you don't have to prove this. Therefore, you can replace with any function, as long as it is in , and still get a true statement. I suggest replacing with a function that equals 1 everywhere.