Top quality #9s are hard to come by, and it’d be a mistake to sell Biereth before we know his actual level.
But yes, if he’s sold it’s registered as ‘pure profit’. It would not surprise me if he followed Hojlund’s trajectory.