単調性より自明