Demonstration NP is not P by a mechanism where datas generate correspondences hidding information which exists. In bounded systems of information is possible a way to get the knowledge, checking one by one, and a fast way of validation.
REVIEW: I see this document is too difficult to get the objectives. I will rewrite it in other way easier and more rigorously, considearing I only need to translate the document and upload here.