Update Intro.txt

intro proof