The factor and remainder theorem