for H being ZF-formula st len H = 3 holds
H is atomic