Abaixo está uma instrução que descreve uma tarefa de geração de SQL, combinada com uma entrada que fornece mais contexto sobre os esquemas de tabela disponíveis. Escreva o código SQL que responda adequadamente à solicitação
 ###Instrução: Quais são os professores que não lideraram nenhum workshop de desenvolvimento profissional?
 ###Tabelas: 
CREATE TABLE teachers (teacher_id INT, teacher_name TEXT); INSERT INTO teachers (teacher_id, teacher_name) VALUES (1, 'Alice Johnson'), (2, 'Bob Smith'); CREATE TABLE workshops (workshop_id INT, year INT, hours_spent INT, teacher_id INT); INSERT INTO workshops (workshop_id, year, hours_spent, teacher_id) VALUES (1, 2022, 3, 2), (2, 2022, 4, 2), (3, 2022, 5, 3);
SELECT teacher_name FROM teachers WHERE teacher_id NOT IN (SELECT teacher_id FROM workshops);