P
Initializing...
The strong four exponentials conjecture, with Baker's theorem, implies the sharp four and the strong five exponentials conjectures · Prove2Me