Well, that's not true. Currently, DirecTV has HD locals for 5 channels each in dozens of markets, so if that was part of the number, they would have been claiming it for a year.
It is true, however, that the number includes the many varieties of HBO, Showtime, Starz, etc. and PPV HD channels...