However, for L to be in NP, there must be a verifier that runs in polynomial time.
Ωστόσο, για να είναι το L στο NP, πρέπει να υπάρχει επιβεβαιωτής που να τρέχει σε πολυωνιμικό χρόνο.