remainder [noun] + theorem [noun]