Since 3 is not definable in the fragment LV , - , & , 1 , T ) this shows the theorem . In this regard , assume that a is an interpolant .
確定！ 回上一頁
