diminutione