Category:Power Function on Base between Zero and One is Strictly Decreasing