Suppose thatfor all
. How to show that
is also in
![]()
You are given thatfor 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.