Category:Power Function Preserves Ordering in Ordered Group