The Monotonicity Theorem, Cauchy's Interlace Theorem, and the Courant- Fischer Theorem | Synapse