結果 : undecidable problem example