Language of Propositional Logic has Unique Parsability/Lemma

Lemma
Let $\LL_0$ be the language of propositional logic. Let $\mathbf A$ be a WFF.

Suppose that $\mathbf A = \paren {\mathbf B \circ \mathbf C} = \paren {\mathbf D * \mathbf E}$.

Then $\mathbf B = \mathbf D$, ${\circ} = {*}$, and $\mathbf C = \mathbf E$.

Proof
The WFFs $\mathbf B$ and $\mathbf D$ are strings which both start in the same place, right after the first left bracket in $\mathbf A$.

By Initial Part of WFF of PropLog is not WFF, neither $\mathbf B$ nor $\mathbf D$ can be an initial part of the other.

Therefore $\mathbf B = \mathbf D$.

It follows that $* = \circ$ and $\mathbf C = \mathbf E$.

Hence the result.