theorem [noun] + factorisation [noun]