Therefore, if one believes (as most complexity theorists do) that not all problems in NP have efficient algorithms, it would follow that proofs of independence using those techniques cannot be possible.
Συνεπώς , αν κάποιος πιστεύει (όπως κάνουν οι περισσότεροι θεωρητικοί πολυπλοκότητας) πως δεν έχουν όλα τα προβλήματα στο NP αποδοτικούς αλγορίθμους, αυτό θα σήμαινε πως οι αποδείξεις ανεραρτησίας χρησιμοποιώντας αυτές τις τεχνικές δεν είναι δυνατές.