Of course, such necessary and sufficient conditions must be of a psychologically satisfactory kind, and we should not, for example, want a theorem which merely said, perhaps in a slightly disguised form, that a graph has a Hamiltonian circuit if and only if it has a Hamiltonian circuit.
Ng mga kurso, tulad ng kinakailangan at sapat na mga kondisyon ay dapat na kasiya-siya sa pag-iisip ng isang uri, at kami ay hindi dapat, halimbawa, nais ng isang teorama na basta-basta sinabi, marahil sa isang bahagyang disguised form, na ang isang graph ay isang Hamiltonian circuit at kung lamang kung ito ay isang Hamiltonian circuit.