P
Initializing...
$\log_p(x^n)=n\log_p x$ on principal units · Prove2Me