proved the share1 example, but needed to assume that 2 objects are not the same