Quotient C*-Algebra Theorem