I think what was meant could be described by a joke: "professor writes a theorem proof on 6 pages, removes pages 3 and 4 and writes 'trivially leads to'"