Remainder theorem