AとはAのことである、では証明になってないよね?