Semi-Discrete Brenier Cell Existence and Optimality Theorem