Báo cáo toán học: "A proof of a theorem on trace representation of strongly positive linear functionals on $OP*-algebras$ " pdf