P
Initializing...
$\log_p(x^a)=a\log_p x$ for $a\in\mathbb{Z}_p$ on principal units · Prove2Me