Pour qu’une forme $\alpha\in\mathscr{F}^{p,q}_{X}(X)$ soit nulle, il faut et il suffit que sa restriction à tout domaine analytique compact de $X$ le soit. Si $X$ est bon, il suffit qu’elle le soit sur tout domaine affinoïde de $X$.