Now if FE F , then Fof satisfies gro ( FnF ) = g ( F ) ng ( F ) = g ( Fi ) ng ... full when it is saturated by the congruence mod kBs equivalence relation .
確定！ 回上一頁
