Lemmas already submitted to the proofgold blockchain.
