We assume familiarity with the properties of pseudo-convergent sequences, see  for more details, and in particular Theorem
3, Lemmas 4 and 8.
Such a scheme permits someone to persuade others that a particular theorem
she has proved is true without giving away anything about how to go about proving the theorem itself (SN: 8/30/86, p.
All that someone else can find out, until the proof itself is finally revealed, is that a particular theorem