An "elegant" proof in mathematics has surprise value but also seems inevitable once seen