We proved that with full RBF, but I posted the video for the whole of its commentary.