He has no earned income, so you cannot contribute it to another IRA, even as non-deductible. Remove it, or you will have a penalty.

BTW, contributing and distributing in the sale year is not handled correctly by Pro Series, which is why it appears to be reducing the taxability of the distribution.

Since he cannot contribute for 2023, erasing the "contribution" will re-tax the distribution.