Below is the list of tables from the database along with their columns and datatype. Need to generate an accurate SQL query for the question.
Only use the columns present in the respective table. Only use the columns which are required to generate the SQL query. Only use table joins if required and not otherwise.

### Tables ###
TABLE: CREATE TABLE table_20372 ( "N\u00b0" real, "Television service" text, "Country" text, "Language" text, "Content" text, "DAR" text, "HDTV" text, "Package/Option" text )

### Question ###
How many values of HDTV correspond to television service of la sorgente sat 1?

### Accurate SQL ###

SELECT COUNT("HDTV") FROM table_20372 WHERE "Television service" = 'La Sorgente Sat 1'