積はまず2個で定義するから