changed proof of units, definition of hom, continued proof of hom_uniq