The rich relationship between Laplacian eigenvalues and shapes gave rise to the field of spectral geometry, which continues to attract researchers from various disciplines. In this study, we provide a computer-assisted proof for a conjecture about Dirichlet eigenvalues posed by R. Laugesen and B. Siudeja in Henrot's book ``Shape Optimization and Spectral Theory".