A Proof of Theorem 3.2 Theorem A.1. The vocabulary