Page "Interactive proof system" Paragraph 2
from
Wikipedia
* Completeness: if the statement is true, the honest verifier ( that is, one following the protocol properly ) will be convinced of this fact by an honest prover.
Page 1 of 1.
1.832 seconds.