Miranda, H. and Thompson, R.C. 1992. A trace inequality with a subtracted term. CUBO, A Mathematical Journal. 8 (Dec. 1992), 91–97.