We present two theorems in the “discrete differential geometry” of positively curved spaces. The first is a combinatorial analog of the BonnetMyers theorem: ã A combinatorial 3-manifold whose edges have degree at most five has edge diameter at most five. When all edges have unit length, this degree bound is equivalent to an angle deficit along each edge. It is for this reason we call such spaces positively curved.