It says something more than that. There are necessarily infinitely many programs like that.