A Representation Theorem for System P