for A being non degenerated commutative Ring
for p being Element of Spectrum A holds ([#] A) \ p is multiplicatively-closed