One-Line Proof #star #math #geometry