Abstract
Theorems are proved that establish the unitary equivalence of the extended and reduced phase space quantizations of a constrained classical system with symmetry. Several examples are presented.