theorem for remainders