Theorem on the Majorization Criterion in Quantum Information TODO; this project is completed, but I haven’t written or uploaded anything on it yet.