[quantum: 12] maybe correct proof