theorem Th33: :: AMI_8:33

for p being object holds
( p in dom powerSCMFunction iff ex n being Nat st p = ((dl. 0),(dl. 1),(dl. 2)) --> (1,n,1) )