for T being non empty normal TopSpace
for A, B being closed Subset of T st A <> {} & A misses B holds
for n being Nat
for G being Drizzle of A,B,n ex F being Drizzle of A,B,n + 1 st
for r being Element of dyadic (n + 1) st r in dyadic n holds
F . r = G . r