Изменения

'''Теорема Ладнера''' (Ladner's Theorem) утверждает,

что если <math>P \ne NP</math>, то существует язык <math>L</math>,

принадлежащий <math>NP \setminus (P \cup NPC)</math>.

==Иллюстрация==