Two failures of the one-relation form give two real logarithms of algebraic numbers with algebraic product

Initializing...

Two failures of the one-relation form give two real logarithms of algebraic numbers with algebraic product · Prove2Me