No Infinite Descent of Belonging-to ■Exercise: (Nerode and Shore,Logic for Applications)Prove that there is no infinite sequence of sets {SnE such that for all n∈N,Sn+1∈SnNo Infinite Descent of Belonging-to  Exercise: