Definition:Coefficient of Power Series