3 ms·
Barely? It proves it for the principal root, and you can trivially prove it for the negative root using the principal root's irrationality.
by mannerheim 4y ago
Barely? It proves it for the principal root, and you can trivially prove it for the negative root using the principal root's irrationality.