How many values of HDTV correspond to television service of la sorgente sat 1?
create table table_15887683_16 (hdtv varchar, television_service varchar, PRIMARY KEY (hdtv))
select count(hdtv) from table_15887683_16 where television_service = "la sorgente sat 1"