Proof of proposition 2

By L. Adleman, Ming-Deh A. Huang. 1992