We give a short proof of the following theorem of Martindale: If a prime ring R satisfies a nontrivial generalized polynomial identity, then the ring RC, where C is the extended centroid of R, contains a minimal idempotent e such that eRCe is finite dimensional over C. © 1992.