for A being non degenerated commutative Ring
for p being Element of Spectrum A holds Loc-Ideal p is proper Ideal of (A ~ p)