A Proof of Theoretical Results