Abstract
The paper presents a new proof of O’Cinneide’s characterization theorem.[Citation7] It is much simpler than the original one and constructive in the sense that we not only show the existence of a phase type representation, but present a procedure which creates a phase-type representation. We prove that the procedure succeeds when the conditions of the characterization theorem hold.