Added simulation code
Added proof of theorem 2: Proving the policy given bu Algo1 follows the structure