B to by putting , for each b e B , fb = df the least n < such that b e Fn . By ... Now , X must be GĘ for some < a , so the assumption MCX ' means that U ...
確定! 回上一頁