Задание по формальным языкам и грамматикам

[blackhawkjkee]

Задание:
Докажите, что если для некоторой цепочки языка, заданного грамматикой, существует единственный левосторонний вывод, то для нее существует и единственное дерево вывода.

Помогите, пожалуйста, разобраться в решении. С чего даже начать толком понять не могу :c