theorem Th39: :: AMI_8:39

for x being FinPartState of SCM st x in dom sumSCMFunction holds
Initialize x is Autonomy of IterativeAlgorithm (AddTo ((dl. 2),(dl. 1)))