prove \~W is normal process under Q