A rigorous verification of a numerically computed eigenvalue

We prove a conjecture concerning the index of a certain eigenvalue obtained explicitly. Here the conjecture was motivated by the computer code SLEDGE, and we shall prove it true.