:Category:Theorems in approximation theory