Proof also can be found here: https://code.nsa.gov