Properties of Totally Ordered Field