If he'd kept it, I don't see how that would be taxable income. He didn't earn it. He bought the money when he bought the house. Same as if any other aspect of the house turned out to be underpriced or unexpectedly valuable.
Cash, generally, isn't unexpectedly valuable.