加法性を証明: X \sim Bin(n_1, p) と Y \sim Bin(n_2, p) が独立(同じ)なら、。