There's also a proof without content of a conjecture without content, but it's left as an exercise for the reader.