积与和的唯一性