P
Initializing...
$\nu_2(9^a-9^b)=3+\nu_2(a-b)$ · Prove2Me