чисто логически нихрена он не доказал. Ну, кроме второго пункта, но признание такого доказательства достаточным автоматически гробит доказательство третьего пункта.
Что же касается четвёртого - то он доказан в ТАКОЙ трактовке, которая вообще никого не ебёт.
При преодолении лесного массива масса танка должна превышать диаметр деревьев.