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: Quantos valores de HDTV correspondem ao serviço de televisão da la sorgente sat 1?
 ###Tabelas: CREATE TABLE early_cbs_and_abc's___era_1959-1978 (early_cbs_and_abc's___era_1959-1978_id AUTO_INCREMENT PRIMARY KEY, Year INT, Network VARCHAR, Lap-by-lap VARCHAR, Pit reporters VARCHAR, Host VARCHAR) CREATE TABLE european_tour_wins_8 (european_tour_wins_8_id AUTO_INCREMENT PRIMARY KEY, Date VARCHAR, Tournament VARCHAR, Winning score VARCHAR, Margin of victory VARCHAR, Runner(s)-up VARCHAR) CREATE TABLE classification_leadership_progress_table (classification_leadership_progress_table_id AUTO_INCREMENT PRIMARY KEY, Stage INT, Winner VARCHAR, General classification VARCHAR, Mountains classification VARCHAR, Points classification VARCHAR, Youth classification VARCHAR, Team Classification VARCHAR) CREATE TABLE defunct_competitions (defunct_competitions_id AUTO_INCREMENT PRIMARY KEY, Years VARCHAR, Type VARCHAR, Original code VARCHAR, Current code VARCHAR, Location VARCHAR) CREATE TABLE shopping (shopping_id AUTO_INCREMENT PRIMARY KEY, N° INT, Television service VARCHAR, Country VARCHAR, Language VARCHAR, Content VARCHAR, DAR VARCHAR, HDTV VARCHAR, Package/Option VARCHAR)  
SELECT COUNT HDTV FROM shopping WHERE Television service = La Sorgente Sat 1