In mathematics, the Vitali–Carathéodory theorem is a result in real analysis that shows that, under the conditions stated below, integrable functions can be approximated in L from above and below by lower- and upper-semicontinuous functions, respectively. It is named after Giuseppe Vitali and Constantin Carathéodory.
 the Vitali Carathéodory theorem got its name from a result of real analysis systems
switching the words but keeping with the context helps I think
( z1 name :ARG1 ( z2 theorem :name ( z3 name :op "Vitali" :op "Carathéodory" :op "theorem" ) ) :ARG2 ( z4 result :ARG1 ( z5 system :ARG0-of ( z6 analyze :ARG1-of ( z7 real ) ) ) ) )