Beweis Satz von Rice, zweiter Teil