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