Teorema de Rice-Shapiro