Echo-X - Proofs