theorem DAB: :: NEWTON04:56

for a, b being Real
for n being Nat holds (a,b) Subnomial n = ((a,1) Subnomial n) (#) ((1,b) Subnomial n)