for n being Nat
for a, b being Real holds Product ((a,b) Subnomial n) = Product ((b,a) Subnomial n) by SFE, RVSUM_3:4;