proof for equality of bisimulations