Add a theorem with issig equivalence about hProps