Thus, be it understood, to demonstrate a theorem, it is neither necessary nor even advantageous to know what it means.