On the seven train proof