Why Is Root 2 Irrational