for H being ZF-formula
for x being Variable holds H / (x,x) = H