Demonstrate additivity: if X \sim Bin(n_1, p) and Y \sim Bin(n_2, p) are independent (same ), then