remainder theorem in learning task 2a with synthetic