https://doi.org/10.4169/amer.math.monthly.121.01.078 https://www.jstor.org/stable/10.4169/amer.math.monthly.121.01.078 Abstract A short, inductive proof is presented ...
So the GF is (against my advice) studying CS. While I have an ongoing rant on the Programmer's Symposium, I'm coming here for another battle. She doesn't "believe" inductive proofs. She has just ...