How many professors do have a Ph.D. degree?
select count(*) from professor where prof_high_degree = 'Ph.d.'