Four exponentials conjecture (source code)

= Four exponentials conjecture