Extension preuve np completude