TEOREMA 1
Se un insieme Ë ricorsivo (decidibile) Ë anche ricorsivamente enumerabile (semidecidibile)
ma non viceversa