Improve np completeness example and add theorem for np completeness, lemma for in np