?

formal power series 였음