theorem Th11: :: ZF_LANG:11

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