第一个推导过程 – ANDERSEN诉GED