Доказательство торичковкости XD

Боже, опять длиннющий список того, что надо нарисовать.