Page "Characteristic polynomial#Properties" not found :(