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: Encontre o número de produtos de maquiagem vegana vendidos no Brasil no T1 de 2023.
 ###Tabelas: 
CREATE TABLE cosmetics_sales (product VARCHAR(255), country VARCHAR(255), sale_date DATE, revenue DECIMAL(10,2)); CREATE TABLE cosmetics (product VARCHAR(255), product_category VARCHAR(255), vegan BOOLEAN); CREATE TABLE countries (country VARCHAR(255), continent VARCHAR(255)); CREATE TABLE sale_records (product VARCHAR(255), country VARCHAR(255), sale_date DATE); INSERT INTO countries (country, continent) VALUES ('Brazil', 'South America'); CREATE VIEW q1_2023_sales AS SELECT * FROM sale_records WHERE sale_date BETWEEN '2023-01-01' AND '2023-03-31'; CREATE VIEW vegan_makeup AS SELECT * FROM cosmetics WHERE product_category = 'Makeup' AND vegan = true; CREATE VIEW vegan_brazil_sales AS SELECT * FROM q1_2023_sales JOIN vegan_makeup ON cosmetics.product = sale_records.product WHERE sale_records.country = 'Brazil';
SELECT COUNT(*) FROM vegan_brazil_sales;