Yes, he can, but the real question is whether his traditional IRA contribution is deductible or not. See the following to determine that:
https://www.irs.gov/retirement-plans/plan-participant-employee/2016-ira-contribution-and-deduction-l...