Dimostrazione

 

 

 

) Sia x = SFr(S), se x S allora " U intorno di x, US , se x Fr(S) allora " U intorno di x, U S ;

 

) sia x un punto tale che " U intorno di x tale che S U , allora se x S ho che (U \ {x}) S " intorno U di x, cio x D (S).