What is an explicit formula for an arithmetic sequence with a common difference of -2 and whose first term is one?