theorem Th22: :: ZF_LANG:22

for H being ZF-formula st H is universal holds
H . 1 = 4