https://www.progamer.ru/ibm-quantum-computers-proof