For capital gains, "gross income" means the gain, not the proceeds.
If the gain had been enough that he had to file, yes, he would need his own tax return (you couldn't report it on your return.
