A candidate in $\overline{\mathbb{Q}} + \overline{\mathbb{Q}}\ell$ is a rational multiple of $\ell$; no candidate is $a + b\pi$; unconditionally

Initializing...

A candidate in $\overline{\mathbb{Q}} + \overline{\mathbb{Q}}\ell$ is a rational multiple of $\ell$; no candidate is $a + b\pi$; unconditionally · Prove2Me