The difference with respect to the content of theorems is most intimately connected with this progression itself, and some further remarks concerning the latter will serve to clarify that difference further, as well as the nature of synthetic Cf.