thus F . n is ext-real-membered set ; :: thesis: verum