set A = the Element of SF;
set S = block_Pervin_uniformity the Element of SF;
block_Pervin_uniformity the Element of SF in subbasis_Pervin_uniformity SF ;
hence not subbasis_Pervin_uniformity SF is empty ; :: thesis: verum