completata dimostrazione sugli aperti regolari