Added proof of qpe=mult