factorial reduction