factoring of 1 -> empty list