Since the $10k distribution would be coming entirely from contribution basis, there is no need to claim this and no benefit to claiming this as a first-time homebuyer distribution.
