theorem :: AMI_8:36

IterativeAlgorithm (MultBy ((dl. 2),(dl. 1))), Start-At (0,SCM) computes powerSCMFunction