P

Initializing...

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