ADDED: sub-factorial