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: Identificar segurados que nunca fizeram uma reivindicação em Michigan.
 ###Tabelas: 
CREATE TABLE claims (policyholder_id INT, claim_number INT, state VARCHAR(2)); INSERT INTO claims (policyholder_id, claim_number, state) VALUES (1, 1, 'MI'), (2, 1, 'MI'), (3, 1, 'OH');
SELECT policyholder_id FROM claims WHERE state = 'MI' GROUP BY policyholder_id HAVING COUNT(claim_number) = 1;