NumTerms(F: RINGELEM): INT
/**/ use R ::= QQ[x,y,z]; /**/ NumTerms((x+y+z)^5) = binomial(3+5-1, 5); true