[math-fun] A nifty theorem in plane geometry