groups: prove some basic properties (uniqueness of units, inverses. cancellation law)