前者を一般化して後者が出る