remainder theorem cat