Я запутался в Thm2, преподаватель сказал и объяснил, что x грубее, чем x', но поскольку x' содержится в x и учитывая определение разбиения, разве его объяснение не должно быть противоположным, пока он доказывает Thm2? Так что x содержит x' и больше, я думаю####[['Thm2,', 'Mathematical_Related_Concept', 'NEU']]