proof of antisymmetry of the denotational semantics