Twierdzenie_Rice-Shapiro does not exist