Я не могу доказать,что длинное-это горячее.Так саму теорему нельзя формулировать.