. . . "named entity 'indirect proof'" . . "Mathematics" . . . . .