Larson-Juhl - Proofs