Some properties of a non-negative quantum-mechanical distribution function