Every Hamiltonian matrix without eigenvalue $1$ is joined, avoiding eigenvalue $1$, to a Hamiltonian $Y$ with $Y^3=9Y$

Initializing...

Every Hamiltonian matrix without eigenvalue $1$ is joined, avoiding eigenvalue $1$, to a Hamiltonian $Y$ with $Y^3=9Y$ · Prove2Me