theorem :: NEWTON04:90

for a being Real
for n being Nat
for i being odd Nat holds ((a,(- a)) Subnomial (n + i)) . i = a |^ (n + i)