「微分可能ではないことを”示せ”」
っていうのは証明問題とはいいませんよね?