Steele (1995) credits this proof to the one-page paper of Seidenberg (1959) and calls it "the slickest and most systematic" of the proofs he surveys.
Steele, (1995) приписує це доведення статті з одної сторінки Seidenberg, (1959) і називає її "найхитрішим та найбільш систематичним" з доведень, що входять до його огляду.