Существование положительных операторнозначных мер

По статье https://arxiv.org/pdf/2310.12302.pdf.