Programa egituratuaren teorema