Via-Vision - Proofs