This proof is based on the one given by Garey and Johnson.
Η απόδειξη αυτή είναι βασισμένη σε αυτήν που έχει δοθεί από τους Garey και Johnson.