the proof is just a bunch of lines(http://www.autoadmit.com/thread.php?thread_id=4084661&forum_id=2#36868228)