DEF fac(n) n <= 1 | PROD 1:to(n);