Came expecting a long convoluted argument, Craig Wright-style, but this is like one of those short papers that have the proof in the abstract.