user: Question: How many values of HDTV correspond to television service of La Sorgente Sat 1?
Columns: ['N°', 'Television service', 'Country', 'Language', 'Content', 'DAR', 'HDTV', 'Package/Option']
Types: ['real', 'text', 'text', 'text', 'text', 'text', 'text', 'text']
Sample row: [861.0, 'Telemarket', 'Italy', 'Italian', 'televendita', '4:3', 'no', 'no ( FTA )']
SQL:

assistant: SELECT COUNT("HDTV") FROM "Table" WHERE "Television service" = 'La Sorgente Sat 1';