P
Initializing...
$t$ and $\bar t$ are $\mathbb{Q}$-linearly independent · Prove2Me