add proof that Sigma preserves null types (#1085)

add proof that Sigma preserves null types (#1085) #2292