in which mathematical demonstrations are omitted