← Two Fundamental Theorems about the Definite ... - …