theorem Th35: :: AMI_8:35

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