theorem :: ZF_LANG:14

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