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'"

I read that as, one step of his experimental procedure isn't published.