eulers conjecture