Simplest Form of Non-Negative Number in Golden Mean Number System is Unique

Theorem
Let $x \in \R_{\ge 0}$ be represented in the golden mean number system.

Let $S$ be the representation for $x$ in its simplest form.

Then $S$ is unique in the sense that there exists no other representation of $x$ in simplest form.