Formal proof of Validity