Normally power expressions with an exponent equal to 1 will not be produced. But it is desirable for factor to return a product of powers, and some of them will have 1 as exponent. The routines for printing of expressions will take this into account, suppress exponents equal to 1, and arrange for parenthesization correctly.
The object Power is a header type, with ancestor classes Expression < BasicList < Thing.