φi(d) of a derivation d under the s

φi(d) of a derivation d under the system i that d is from

Results (Vietnamese) 1:

Φi(d) của một derivation d trong hệ thống tôi d đó là từ

Results (Vietnamese) 2:

φi (d) của một derivation d theo hệ thống i d đó là từ