added porism theorem-type, proved corollary 1.8, clarified injective hulls