Since we know that such an S cannot exist, it follows that the language E is also undecidable.
そのようなSは存在しないことが既知であるため、言語Eも決定不可能であることが導かれる。