Prove [IsHSet hProp]

This is required to prove that the precategory of [hProp]s is strict.