Rotated readout and POVMs

This theorem represents a specified instrument by a program after the primitive is fixed. It does not characterize an independently declared instrument primitive or derive a physical apparatus implementing the program.