theorem :: AMI_8:40

IterativeAlgorithm (AddTo ((dl. 2),(dl. 1))), Start-At (0,SCM) computes sumSCMFunction