Mnacho Echenim公司 量子投影测量和CHSH不等式。 2021 2021 架构（architecture）。正式证明 https://www.isa-afp.org/entries/Projective_Measurements.html db/journals/afp/afp2021.html#Echenim21