Proving Root 2 Is Irrational