Tag remainder theorem and synthetic division