Proof Of Theorem 9425 Connections