qrng - Revision 114: /qrng_paper/proof