euler quartic conjecture