for L being distributive Lattice
for x being set holds
( x in StoneR L iff ex a being Element of L st (PrimeFilters L) . a = x )