It can be shown that COMPOSITE ∈ NP by verifying that it satisfies the above definition (if we identify natural numbers with their binary representations).
Μπορεί να αποδειχθεί ότι COMPOSITE ∈ NP επιβεβαιώνοντας ότι ικανοποιεί τον παραπάνω ορισμό(αν αναγνωρίσουμε φυσικούς αριθμούς με την δυαδική αναπαράσταση).