Изобразим данные S-выражения в графической нотации:


Рис.1. S-выражения в графической нотации

Очевидно, что S-выражения эквивалентны.