Rice-Shapiro theorem

1. REDIRECT Rice–Shapiro theorem

{{R from modification}}