How do we show that without giving a derivation?
I know that the derivation for is trivial, but the derivation of is pretty long. But the question is how to show that without presenting 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