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