A technical detail not discussed here but required to complete the proof is immersion reducibility.
Μια τεχνική λεπτομέρεια που δε συζητήθηκε εδώ αλλά που απαιτείται για να ολοκληρωθεί η απόδειξη είναι η απορρόφηση μειωσιμότητας (immersion reducibility).