Np-Complete Problems and Proof Methodology