最低限の条件なんだから上位が常にその条件を満たしてるのは当たり前だろ