Хорошо. Вот я его дословно перепишу. Ткните, пожалуйста, пальцем в ошибку.
Мы хотим доказать (от противного) следующее утверждение. Пусть в ИСО

и

оси направлены одинаково, причем

движется относительно

параллельно оси

. Если объект

имеет в ИСО

абсциссу

, то в ИСО

он имеет абсциссу

.
Предположим, что верно другое утверждение: если объект

имеет в ИСО

абсциссу

, то в ИСО

он имеет абсциссу

. Рассмотрим ИСО

и

. Введем объект

и с абсциссой в

и в

. Поскольку

движется в

параллельно оси абсцисс, по предположению, должно выполняться

. С другой стороны, и

движется в

параллельно оси абсцисс, поэтому должно выполняться

. Получается противоречие. Аналогично опровергается случай, когда

.