我应该如何使用Rice's Theorem