解不了的習題跟永遠不知道在幹嘛的證明題。