DAVID SHERMAN

180110 Gershkovitz proofs

180110 Gershkovitz proofs