for x being Variable
for H being ZF-formula holds (All (x,H)) . 1 = 4