What are the ids of instructors who have taught a course?
select distinct id from teaches
How many are there?
select count (distinct id) from teaches