 Theorem 5. Let \(\alpha, \beta\) be nonempty sequences of characters on our alphabet, such that \(\alpha \beta\) (i.e \(\alpha\) followed by \(\beta)\) is a formula. Then \(\alpha\) is not a formula.