Theorem 5

If a balanced scale is odd and is not a Fraenkel word, then it is SGA.

Proof