SNARK proves 1.3.6 (theorem)

SNARK proves a theorem. See SLATE and Lisp files for 1.3.6.