Ordered field/Raising to power/Growth behavior/Fact/Proof/Exercise