 However, if mathematical theorems do not exactly hold in nature, these theorems serve with more than sufficient precision in practice. To be demonstrated with complete rigour they must be considered as holding of bodies in a state of abstract perfection that they do not really have.