CREATE TABLE table_20372 ("N\\u00b0" FLOAT, "Television service" CLOB, "Country" CLOB, "Language" CLOB, "Content" CLOB, "DAR" CLOB, "HDTV" CLOB, "Package/Option" CLOB)

How many values of HDTV correspond to television service of la sorgente sat 1?
SELECT COUNT("HDTV") FROM table_20372 WHERE "Television service" = 'La Sorgente Sat 1'
SELECT COUNT("HDTV") FROM "table_20372" WHERE "Television service" = 'La Sorgente Sat 1'