main approx thm proved