A Proof of Theorem 1 is guaranteed in Π