This is an exposition and analysis of van Benthem's original
proof, hitherto unpublished, that if the class of structures (frames) validating a
modal formula is closed under elementary equivalence, then it is the class of all
models of a single first-order sentence.