Gantmacher's theorem