(A r.e ) se e solo se ( A = {} or A = range(f) , f ricorsiva ).

potreste aiutarmi a capire la dimostrazione?