Instruct: How many values of HDTV correspond to television service of la sorgente sat 1?
Output: SELECT COUNT HDTV FROM table WHERE Television service = La Sorgente Sat 1