Each problem in ∃ R {\displaystyle \exists \mathbb {R} } inherits the property of belonging to PSPACE, and each ∃ R {\displaystyle \exists \mathbb {R} } -complete problem is NP-hard.
Сваки проблем у ∃ R {\displaystyle \exists \mathbb {R} } наслеђује имовину која припада PSPACE, и сваки ∃ R {\displaystyle \exists \mathbb {R} } -комплетан проблем је NP-тежак.