Theorems for sum of constant function #29

Job	Run time
Verify TLAPS proofs (macos-latest, tlapm-1.6.0-pre-arm64-darwin.tar.gz)	18m 39s
Verify TLAPS proofs (ubuntu-latest, tlapm-1.6.0-pre-x86_64-linux-gnu.tar.gz)	8m 36s
build (windows-latest)	55s
build (macos-latest)	45s
build (ubuntu-latest)	40s
	29m 35s

Provide feedback