A Proofs for Theoretical Claims