問題詳情

2.Verify that

, for primitivestatements

and

.

參考答案