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