Which of the following is incorrect according to rice theorem?Let S be a set of language hat is non trivial:a) there exists a TM that recognizes the language in Sb) there exists a TM that recognizes the language not in Sc) both (

• A. there exists a TM that recognizes the language in Sb) there exists a TM that recognizes the language not in Sc) both (a) and (
• B. there exists a TM that recognizes the language not in S
• C. both (a) and (b)
• D. none of the mentioned