A simple and short proof of the optimality conditions in the John von Neumann trace inequality for singular values is shown. Possible generalizations and special cases are also considered.