theorem Th21: :: ZF_LANG:21

for H being ZF-formula st H is conjunctive holds
H . 1 = 3