Beschrijving stelling van Rice toegevoegd