This proof is based on the one given by Garey and Johnson.
این واقعیت براساس گفته‌های Garey و Johnson می‌باشد.