Added a proof of equivalence between ishae and iseq