VAQ 130 - Proofs