Description: If ' Y ' is closed under
the multiplication of two functions, then Y is
closed under the multiplication ( ' X ' ) of a finite number of
functions. (Contributed by Glauco Siliprandi,
20-Apr-2017.)