remainder theorem definition