State Extension Theorem for C*-Algebras