How do we show thatwithoutgiving a derivation?

I know that the derivation for is trivial, but the derivation of is pretty long. But the question is how to show thatwithoutpresenting a derivation. How can we do that? Any help and suggestions are greatly appreciated.

The system L: http://img405.imageshack.us/img405/4208/systemli.jpg