Writing one example will not justify it is true for ALL functions. To prove it is true, you need to describe the operation property that proves it would be true. To prove it is false, you only need to provide a single counter example